منطق [کتاب انگلیسی] | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
منطق [کتاب انگلیسی]
Wesley C. Salmon (وسلی سی سالمون)
157 صفحه .
کتابخانه مجازی الفبا
1973
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
منطق [کتاب انگلیسی]
ویرایش اثر
پدیدآورندگان :
سالمون, وسلی سی. (Wesley C. Salmon)
(نویسنده)
وضعیت نشر :
Prentice-Hall ،
1973
چکیده :
ترجمه ماشینی : این جلد شامل نسخه اصلاح شده و به روز شده نویسندگان ph.d. پایان نامه و بر روش های اثبات و اثبات قضیه برای منطق های شرطی و ترجیحی متمرکز است. منطق های شرطی بسط های منطق کلاسیک با استفاده از عملگر شرطی هستند که معمولاً به صورت => نشان داده می شود. منطق های شرطی تاریخچه ای طولانی دارند و اخیراً در چندین حوزه هوش مصنوعی از جمله بازنگری و به روز رسانی باورها، نمایش استنتاج های علّی در برنامه ریزی اقدام و رسمی سازی پرس و جوهای فرضی در پایگاه های داده قیاسی کاربرد پیدا کرده اند. منطق های شرطی نیز به منظور رسمی کردن استدلال غیر یکنواخت به کار گرفته شده است. مطالعه روابط بین منطق شرطی و استدلال غیر یکنواخت منجر به کار اساسی کراوس، لمان و ماگیدور شده است که به اصطلاح چارچوب klm را معرفی کرده اند. بر اساس این چارچوب، یک پایگاه دانش غیرقابل ابطال با مجموعه محدودی از ادعاهای شرطی به شکل a |~ b نشان داده میشود، که خواندن شهودی آنها «معمولاً (معمولاً)، aها b هستند» است. عملگر |~ غیر یکنواخت است به این معنا که a |~ b به معنای a و c |~ b نیست. منطق چارچوب klm، که به عنوان منطق ترجیحی نیز شناخته می شود، امکان استنتاج ادعاهای شرطی جدید را از یک پایگاه دانش داده شده فراهم می کند. علیرغم اهمیت آنها، مکانیسم های قیاسی بسیار کمی برای منطق های شرطی و ترجیحی ایجاد شده است. نویسنده در این کتاب با معرفی روشهای اثباتی (حسابهای متوالی و جدولی) برای منطقهای شرطی و ترجیحی و نیز اثباتکنندههای قضیهای که با اجرای محاسبات پیشنهادی بهدست میآیند، تلاش میکند (تا حدی) خلأ موجود را پر کند. ios press یک ناشر بین المللی علمی، فنی و پزشکی کتاب های باکیفیت برای دانشگاهیان، دانشمندان و متخصصان در همه زمینه ها است. برخی از حوزه هایی که ما در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر
this volume contains a revised and updated version of the authors ph.d. dissertation and is focused on proof methods and theorem proving for conditional and preferential logics. conditional logics are extensions of classical logic by means of a conditional operator, usually denoted as =>. conditional logics have a long history and recently they have found application in several areas of ai, including belief revision and update, the representation of causal inferences in action planning and the formalization of hypothetical queries in deductive databases. conditional logics have also been applied in order to formalize nonmonotonic reasoning. the study of the relations between conditional logics and nonmonotonic reasoning has led to the seminal work by kraus, lehmann and magidor, who have introduced the so-called klm framework. according to this framework, a defeasible knowledge base is represented by a finite set of conditional assertions of the form a |~ b, whose intuitive reading is ""typically (normally), the a's are b's"". the operator |~ is nonmonotonic in the sense that a |~ b does not imply a and c |~ b. the logics of the klm framework, also known as preferential logics, allow to infer new conditional assertion from a given knowledge base. in spite of their significance, very few deductive mechanisms have been developed for conditional and preferential logics. in this book, the author tries to (partially) fill the existing gap by introducing proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi. ios press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. some of the areas we publish in: -biomedicine -oncology -artificial intelligence -databases and information systems -maritime engineering -nanotechnology -geoengineering -all aspects of physics -e-governance -e-commerce -the knowledge economy -urban studies -arms control -understanding and responding to terrorism -medical informatics -computer sciences
منابع دیجیتالی مرتبط :
نسخه PDF
نویسنده :
Wesley C. Salmon (وسلی سی سالمون)
زبان :
انگلیسی
منبع اصلی :
http://libgen.rs/book/index.php?md5=48D0862D858172537627CD65C55D26EC
شابک (isbn):
9780135401040
جنس منبع:
متن
فروست:
Foundations of Philosophy
پایگاه :
الف:پایگاه کتب
یادداشت :
توضیحات فیزیکی اثر :
157 صفحه .
نوع منبع :
کتاب
خروجی ها :
Mods
Doblin core
Marc xml
MarcIran xml
فهرست مندرجات:
Table of contents :
Title ......Page 1
Copyright ......Page 2
Dedication ......Page 3
Contents ......Page 4
Preface ......Page 6
Argument ......Page 8
Inference ......Page 14
Discovery and Justification ......Page 17
Deductive and Inductive Arguments ......Page 20
Validity ......Page 25
Conditional Statements ......Page 29
Conditional Arguments ......Page 31
Reductio ad Absurdum ......Page 37
The Dilemma ......Page 39
Truth Tables and Validity ......Page 41
Logical Equivalences ......Page 49
Tautologies ......Page 52
Categorical Statements ......Page 54
Categorical Syllogisms ......Page 57
Venn Diagrams and Class Logic ......Page 66
The Logic of Relations ......Page 77
Quantifiers: the Fallacy of "Every" and "All" ......Page 81
Deductive Logic ......Page 86
Inductive Correctness ......Page 88
Induction by Enumeration ......Page 90
Insufficient Statistics ......Page 91
Biased Statistics ......Page 92
Statistical Syllogism ......Page 94
Argument from Authority ......Page 98
Argument against the Man ......Page 101
Analogy ......Page 104
Causal Arguments and Causal Fallacies ......Page 107
Hypotheses ......Page 112
Use and Mention ......Page 125
Definitions ......Page 129
Analytic, Synthetic, and Contradictory Statements ......Page 136
Contraries and Contradictories ......Page 140
Ambiguity and Equivocation ......Page 142
FOR FURTHER READING ......Page 145
ARGUMENT FORMS (CORRECT AND FALLACIOUS) ......Page 147
INDEX ......Page 149
مشخصات کامل فراداده
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت